void do_tests()
{
#ifndef __NO_BUFFER_TYPE__
	int i = random(100000);

	ASSERT(sizeof(allocate_buffer(i)) == i);
	ASSERT(
	catch(allocate_buffer(-20)));
#endif
}

